Compensations in information collecting situations

Decidability Results for Dynamic Installation of Compensation Handlers

Dynamic compensation installation allows for easier specification of fault handling in complex interactive systems since it enables to update the compensation policies according to run-time information. In this paper we show that in a simple π-like calculus with static compensations the termination of a process is decidable, but it is undecidable in one with dynamic compensations. We then consi...

Towards a Formal Specification of SLAs with Compensations

In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of parties involved in the transaction (typically the service consumer and the service provider); amongst other information, SLA could define guarantees associated with the idea of service level objectives (SLOs) that normally represent key performance indicators of either the c...

Hydrologic Classification System: A Data Reconstruction Approach

Recent technological advances, such as powerful computers, remote sensors, geographic information systems and worldwide networking facilities, have brought hydrologic research to a whole new level. They have facilitated extensive data collection, better data sharing, formulation of sophisticated methods, and development of complex models to mimic real hydrologic systems. Despite these obvious a...

Information collecting situations and bi-monotonic allocation schemes

Voltage Sag in Distribution Systems- A review and comparative study (Reasons, Characteristics, Compensations and Detection)

By quick technological advancements in industrial control processes, major industries demand higher power quality. According to IEEE 1159-1995 standard, any problems in voltage, current or freq‌ue‌ncy that lead to the error or malfunctions in electrical equipment are considered as a power quality problem. Among the power quality phenomena, voltage sag has been an important problem for power sys...